We study active set methods for optimization problems in Block Angular Form (BAF). We begin by reviewing some standard basis factorizations, including Saunders' orthogonal factorization and updates for the simplex method that do not impose any restriction on the pivot sequence and maintain the basis factorization structured in BAF throughout the algorithm. We then suggest orthogonal factorization and updating procedures that allow coarse grain parallelization, pivot updates local to the affected blocks, and independent block reinversion. A simple parallel environment appropriate (...) to the description and complexity analysis of test procedures is defined in Section 5. The factorization and updating procedures are presented in Sections 6 and 7. Our update procedure outperforms conventional Updating procedures even in a purely sequential environment. (shrink)

A new Evidence Test is applied to the problem of testing whether two Poisson random variables are dependent. The dependence structure is that of Holgate’s bivariate distribution. These bivariate distribution depends on three parameters, 0 < theta_1, theta_2 < infty, and 0 < theta_3 < min(theta_1, theta_2). The Evidence Test was originally developed as a Bayesian test, but in the present paper it is compared to the best known test of the hypothesis of independence in a frequentist framework. It is (...) shown that the Evidence Test is considerably more powerful when the correlation is not too close to zero, even for small samples. (shrink)

The recent health crisis experienced by all nations in the world created detrimental change in the countenance of educational sector especially in the new mode of delivering the instructions as measure in containing the virus and as well as continuing education. In the works of literature, little to no attention was given to the formulation of the most essential learning competencies (MELCs) as strategic measure for modular learning. This paves the way to probe the lived experiences of the teachers pertaining (...) to the compromised competencies under MELCs. Anchoring to the Sociocultural Theory of Cognitive Development by Vgotsky, this study utilized Interpretative Phenomenological Research Design with Interpretative Phenomenological Analysis (IPA) popularized by Moustakas and modified by Van Kaam as approach to analyzed the transcripts. Using purposive sampling, there were 7 informants participated the study. They are all qualified according to the inclusion criteria set by the study. The study generated three themes which are: The Compromised, The Cut-short, and The Champion. These themes elaborated the lived experiences of the teachers using the Most Essential Learning Competencies forwarded to the students. It is recommended that the learning support should be magnified in the new learning modality. Hence, the Most Essential Learning Competencies will be not be compromised. (shrink)

This article explores the metaphor of Science as provider of sharp images of our environment, using the epistemological framework of Objective Cognitive Constructivism. These sharp images are conveyed by precise scientific hypotheses that, in turn, are encoded by mathematical equations. Furthermore, this article describes how such knowledge is pro-duced by a cyclic and recursive development, perfection and reinforcement process, leading to the emergence of eigen-solutions characterized by the four essential properties of precision, stability, separability and composability. Finally, this article discusses (...) the role played by ontology and metaphysics in the scientific production process, and in which sense the resulting knowledge can be considered objective. (shrink)

This article considers distinct ways of understanding the world, referred to in psychology as Functions of Consciousness or as Cognitive Modes, having as the scope of interest epistemology and natural sciences. Inspired by C.G. Jung's Simile of the Spectrum, we consider three basic cognitive modes associated to: (R) embodied instinct, experience, and action; (G) reality perception and learning; and (B) concept abstraction, rational thinking, and language. RGB stand for the primary colors: red, green, and blue. Accordingly, a conceptual map between (...) cognitive modes and primary and secondary colors is built based on the physics and physiology of color perception and epistemological characteristics of the aforementioned cognitive modes, leading to logical relations structured as an Hexagon of Opposition. Finally, this model of cognitive modes is applied to the analysis and interpretation of some important episodes in the historical development of physics and technology. (shrink)

This article presents a simple derivation of optimization models for reaction networks leading to a generalized form of the mass-action law, and compares the formal structure of Minimum Information Divergence, Quadratic Programming and Kirchhoff type network models. These optimization models are used in related articles to develop and illustrate the operation of ontology alignment algorithms and to discuss closely connected issues concerning the epistemological and statistical significance of sharp or precise hypotheses in empirical science.

I provide a case-by-case definition of essential truths based on the notions of metaphysical necessity and ontological dependence. Relying on suggestions in the literature, I adopt a definition of the latter notion in terms of the notion of ground. The resulting account is adequate in the sense that it is not subject to Kit Fine’s famous counterexamples to the purely modal account of essence. In addition, it provides us with a novel conception of truths pertaining to the essence of objects, (...) which might help to dispel doubts on the legitimacy of the notion of essence itself. (shrink)

This article explores some open questions related to the problem of verification of theories in the context of empirical sciences by contrasting three epistemological frameworks. Each of these epistemological frameworks is based on a corresponding central metaphor, namely: (a) Neo-empiricism and the gambling metaphor; (b) Popperian falsificationism and the scientific tribunal metaphor; (c) Cognitive constructivism and the object as eigen-solution metaphor. Each of one of these epistemological frameworks has also historically co-evolved with a certain statistical theory and method for testing (...) scientific hypotheses, respectively: (a) Decision theoretic Bayesian statistics and Bayes factors; (b) Frequentist statistics and p-values; (c) Constructive Bayesian statistics and e-values. This article examines with special care the Zero Probability Paradox (ZPP), related to the verification of sharp or precise hypotheses. Finally, this article makes some remarks on Lakatos’ view of mathematics as a quasi-empirical science. (shrink)

This paper presents a central thesis: that humanistic language is the idiomatic context in which the Wes­ tern cultural universe orworld has existence, and, by extension, where the academic world has existence and sense. In this frame, the authors analyze two main topics: a) the way in which meaning units, that name the referent University, articulate and orga­ nize humanistic contents that adjust along to the academic world which men have been postulating throughout history; and b) the evidence of inherited (...) vocabulary of Western thought in the traditional discourse of the National Autonomous University of Mexico. (shrink)

The notion “language” seems to be stablished in a problematic and confused way: although certainly it shows an essential reality of man, on the other hand it designates various areas within the same cultural reality. This essay parts from a supposition: only through verbal -/- signs (words) we can reach Knowledge. To demonstrate the previous -/- statement, we will show the approaches of philosophers and specialist, in their own scenario, consider the word as the language, like a -/- distinctive characteristic (...) of the human, that expresses its own rational -/- condition. And by virtue of this, it is aimed at creating a space for -/- reflection about the essential quality in human language, understood -/- not -/- as a repository of knowledge, but as the knowledge itself, the expression of the spirit of a people, loyal to its own image. (shrink)

O Fisicalismo tem sido a posição filosófica monista mais aceita no mainstream do debate contemporâneo sobre a natureza do mental. Mas o que significa dizer que tudo o que existe é “físico”? O presente trabalho busca responder à pergunta: Como as teses fisicalistas contemporâneas têm definido o termo ‘físico’ em suas proposições? Para respondê-la foi realizada uma investigação teórico-filosófica baseada em revisão bibliográfica e análise lógica e conceitual. Quatro categorias gerais de definição do termo ‘físico’ foram identificadas numa revisão da (...) literatura. Existem igualmente fortes críticas às propostas de definição em toda a discussão filosófica. Não temos uma definição incontroversa do que seja uma propriedade física, tampouco consenso sobre qual deveria ser a formulação mais adequada da tese fisicalista. Assim, a questão que se coloca é: Por que estamos discutindo o valor de verdade de uma tese que nem mesmo tem conseguido ser formulada de forma adequada? (shrink)

Much forensic inference based upon DNA evidence is made assuming Hardy-Weinberg Equilibrium (HWE) for the genetic loci being used. Several statistical tests to detect and measure deviation from HWE have been devised, and their limitations become more obvious when testing for deviation within multiallelic DNA loci. The most popular methods-Chi-square and Likelihood-ratio tests-are based on asymptotic results and cannot guarantee a good performance in the presence of low frequency genotypes. Since the parameter space dimension increases at a quadratic rate on (...) the number of alleles, some authors suggest applying sequential methods, where the multiallelic case is reformulated as a sequence of “biallelic” tests. However, in this approach it is not obvious how to assess the general evidence of the original hypothesis; nor is it clear how to establish the significance level for its acceptance/rejection. In this work, we introduce a straightforward method for the multiallelic HWE test, which overcomes the aforementioned issues of sequential methods. The core theory for the proposed method is given by the Full Bayesian Significance Test (FBST), an intuitive Bayesian approach which does not assign positive probabilities to zero measure sets when testing sharp hypotheses. We compare FBST performance to Chi-square, Likelihood-ratio and Markov chain tests, in three numerical experiments. The results suggest that FBST is a robust and high performance method for the HWE test, even in the presence of several alleles and small sample sizes. (shrink)

The Full Bayesian Significance Test, FBST, is extensively reviewed. Its test statistic, a genuine Bayesian measure of evidence, is discussed in detail. Its behavior in some problems of statistical inference like testing for independence in contingency tables is discussed.

Karl Pearson is the leading figure of XX century statistics. He and his co-workers crafted the core of the theory, methods and language of frequentist or classical statistics – the prevalent inductive logic of contemporary science. However, before working in statistics, K. Pearson had other interests in life, namely, in this order, philosophy, physics, and biological heredity. Key concepts of his philosophical and epistemological system of anti-Spinozism (a form of transcendental idealism) are carried over to his subsequent works on the (...) logic of scientific discovery. This article’s main goal is to analyze K. Pearson early philosophical and theological ideas and to investigate how the same ideas came to influence contemporary science, either directly or indirectly – by the use of variant theories, methods and dialects of statistics, corresponding to variant statistical inference procedures and their specific belief calculi. (shrink)

We formulate the problem of permuting a matrix to block angular form as the combinatorial minimization of an objective function. We motivate the use of simulated annealing (SA) as an optimization tool. We then introduce a heuristic temperature dependent penalty function in the simulated annealing cost function, to be used instead of the real objective function being minimized. Finally we show that this temperature dependent penalty function version of simulated annealing consistently outperforms the standard simulated annealing approach, producing, with smaller (...) running times, better solutions. We believe that the use of a temperature dependent penalty function may be useful in developing SA algorithms for other combinatorial problems. -/- . (shrink)

The Full Bayesian Significance Test (FBST) for precise hypotheses is presented, with some applications relevant to reliability theory. The FBST is an alternative to significance tests or, equivalently, to p-ualue.s. In the FBST we compute the evidence of the precise hypothesis. This evidence is the probability of the complement of a credible set "tangent" to the sub-manifold (of the para,rreter space) that defines the null hypothesis. We use the FBST in an application requiring a quality control of used components, based (...) on remaining life statistics. (shrink)

In the financial markets, there is a well established portfolio optimization model called generalized mean-variance model (or generalized Markowitz model). This model considers that a typical investor, while expecting returns to be high, also expects returns to be as certain as possible. In this paper we introduce a new media optimization system based on the mean-variance model, a novel approach in media planning. After presenting the model in its full generality, we discuss possible advantages of the mean-variance paradigm, such as (...) its flexibility in modeling the optimization problem, its ability of dealing with many media performance indices – satisfying most of the media plan needs – and, most important, the property of diversifying the media portfolios in a natural way, without the need to set up ad hoc constraints to enforce diversification. (shrink)

The Generalized Poisson Distribution (GPD) adds an extra parameter to the usual Poisson distribution. This parameter induces a loss of homogeneity in the stochastic processes modeled by the distribution. Thus, the generalized distribution becomes an useful model for counting processes where the occurrence of events is not homogeneous. This model creates the need for an inferential procedure, to test for the value of this extra parameter. The FBST (Full Bayesian Significance Test) is a Bayesian hypotheses test procedure, capable of providing (...) an evidence measure on sharp hypotheses (where the dimension of the parametric space under the null hypotheses is smaller than that of the full parametric space). The goal of this work is study the empirical properties of the FBST for testing the nullity of extra parameter of the generalized Poisson distribution. Numerical experiments show a better performance of FBST with respect to the classical likelihood ratio test, and suggest that FBST is an efficient and robust tool for this application. (shrink)

Abstract: In the present work we have made a critical review of the philosophical propo­ sal of Norwood R. Hanson with the aim of exposing the limits of its theoretical approach on the problem of interpretation in science. The first part of this work exposes the hansonian project, looking for evidence of his contributions to the philosophy of science and scientific thinking. In the following two sections we present a critique to his philosophical proposal. We present two exercises of philosophical (...) reflection that constitute two complementary moments of analysis. On one hand, at the level of methodological analysis, we present a discussion about how the “reversible perspective figures” that have been used for the author as arguments to explain his philosophical proposal, are insufficient to the descrip­ tion of the process of observation and interpretation. On the other hand, at the theoretical level, we question his notion of language and categories to show that his theoretical pro­ posed “vision-interpretation” has based on epistemological and analytic notions. From this perspective, it will be shown that the “hermeneutical-interpretative” approach of Hanson is incomplete, since it does not develop towards an ontology of language and observation. (shrink)

Optimization and Stochastic Processes Applied to Economy and Finance. Textbook for the BM&F-USP (Brazilian Mercantile and Futures Exchange - University of Sao Paulo) Master's degree program in Finance.

in Oct-14-1998 ordinance INDESP-IO4 established the federal software certification and verification requirements for gaming machines in Brazil. The authors present the rationale behind these criteria, whose basic principles can find applications in several other software authentication applications.

We show how the Full Bayesian Significance Test (FBST) can be used as a model selection criterion. The FBST was presented by Pereira and Stern as a coherent Bayesian significance test. Key Words: Bayesian test; Evidence; Global optimization; Information; Model selection; Numerical integration; Posterior density; Precise hypothesis; Regularization. AMS: 62A15; 62F15; 62H15.

Abstract This essay seeks to realize the following question: what is the correspondence between the sign and the thing that names? In reality, what is significant is closely linked with the being, however in this case the sense will be a particular manifestation of an own subjectivity; therefore the determinant relation is limited to the capacity of representation, where the meaning is connected with the socio-cultural sense. In this regard, this work seek realize this problem from the analytical approach of (...) Ludwig Wittgenstein, who is based on the method of philosophical investigation through formal logic. In this first period of development, his speculative work, which in principle leads to the search for logical foundations for mathematics, practised it in direction to the study of the nature of the representation. Subsequently, and as necessary this test delimitation, will expose the confrontation —more not necessarily contradiction— of their approaches in the light of the own Wittgenstein who, in a second reflective period poured into his later work, is obliged to discuss the foundational in his speculative work logical-philosophical topics from a pragmatic point of view. (shrink)

Abstract This paper seeks to give an account of the semiotic and interpretive processes involved in the ambiguity of media representations and, in particular, of new and of different forms of construccion-difusion of information. For this reason, it is deemed the massive dissemination of information and journalistic exercis as a semiotic process in the construction of a fictitious reality. In this regard, it i sought to account for the media representation, as the contrast of the uniform character of the mass (...) expression (context of production) and the diversity of interpretations (context of reception). This review examines both component which are the concrete support that allows the individual to mean social conten non-, mid-, and intentional, thereby fostering a strong sense of social belonging. (shrink)

El presente trabajo se circunscribe al problema de la representación y la referencialidad de la imagen, mismo que, desde la filosofía de la ciencia ha cobrado nuevos matices en el contexto de la relación entre ciencia y arte. Así pues, en esta revisión se buscará establecer tres líneas de desarrollo: en primera instancia, se planteará el problema de la representación del objeto como un campo de interés común en los ámbitos de conocimiento, tanto en la ciencia como en el arte. (...) Luego, en un segundo momento, se abordará el problema filosófico implicado en la referencialidad de la imagen, a partir de las propuestas de Max Black y Rudolph Arnheim. Finalmente, para dar respuesta a la pregunta ¿bajo qué condiciones la imagen como representación establece un objeto de referencia?, se argumentará la función epistemológica de la imagen desde el punto de vista pragmático de la semiótica trascendental. En este sentido, en este trabajo se busca establecer un punto crítico a las posturas filosóficas, tanto de Black como de Arnheim, considerando que la pregunta acerca del objeto de referencia y la imagen están en relación con las condiciones de verdad que fundamentan un sistema de lenguaje. Por ello, a partir de la semiótica pragmática y la semiótica trascendental se postularán criterios diferentes al problema de la referencialidad de la imagen, y en esta dirección, se plantearán las condiciones pragmáticas de verdad que permiten justificar el conocimiento en la imagen derivado de las prácticas epistemológicas tanto en la ciencia como en el arte. (shrink)

This paper has three main objectives: (a) Discuss the formal analogy between some important symmetry-invariance arguments used in physics, probability and statistics. Specifically, we will focus on Noether’s theorem in physics, the maximum entropy principle in probability theory, and de Finetti-type theorems in Bayesian statistics; (b) Discuss the epistemological and ontological implications of these theorems, as they are interpreted in physics and statistics. Specifically, we will focus on the positivist (in physics) or subjective (in statistics) interpretations vs. objective interpretations that (...) are suggested by symmetry and invariance arguments; (c) Introduce the cognitive constructivism epistemological framework as a solution that overcomes the realism-subjectivism dilemma and its pitfalls. The work of the physicist and philosopher Max Born will be particularly important in our discussion. (shrink)

The main goal of this article is to use the epistemological framework of a specific version of Cognitive Constructivism to address Piaget’s central problem of knowledge construction, namely, the re-equilibration of cognitive structures. The distinctive objective character of this constructivist framework is supported by formal inference methods of Bayesian statistics, and is based on Heinz von Foerster’s fundamental metaphor of objects as tokens for eigen-solutions. This epistemological perspective is illustrated using some episodes in the history of chemistry concerning the definition (...) or identification of chemical elements. Some of von Foerster’s epistemological imperatives provide general guidelines of development and argumentation. (shrink)

This article discusses some continuous limit cases of Susan Haack’s crossword puzzle metaphor for the coherent development and foundation of science. The main objective of this discussion is to build a bridge between Haack’s foundherentism and the epistemological framework of objective cognitive constructivism, including its key metaphor of objects as tokens for eigen-solutions. The historical development of chemical affinity tables is used to illustrate our arguments.

The concept of non-arbitrage plays an essential role in finance theory. Under certain regularity conditions, the Fundamental Theorem of Asset Pricing states that, in non-arbitrage markets, prices of financial instruments are martingale processes. In this theoretical framework, the analysis of the statistical distributions of financial assets can assist in understanding how participants behave in the markets, and may or may not engender arbitrage conditions. Assuming an underlying Variance Gamma statistical model, this study aims to test, using the FBST - Full (...) Bayesian Significance Test, if there is a relevant price difference between essentially the same financial asset traded at two distinct locations. Specifically, we investigate and compare the behavior of call options on the BOVESPA Index traded at (a) the Equities Segment and (b) the Derivatives Segment of BM&FBovespa. Our results seem to point out significant statistical differences. To what extent this evidence is actually the expression of perennial arbitrage opportunities is still an open question. (shrink)

In this article, we discuss some issues concerning magical thinking—forms of thought and association mechanisms characteristic of early stages of mental development. We also examine good reasons for having an ambivalent attitude concerning the later permanence in life of these archaic forms of association, and the coexistence of such intuitive but informal thinking with logical and rigorous reasoning. At the one hand, magical thinking seems to serve the creative mind, working as a natural vehicle for new ideas and innovative insights, (...) and giving form to heuristic arguments. At the other hand, it is inherently difficult to control, lacking effective mechanisms needed for rigorous manipulation. Our discussion is illustrated with many examples from the Hebrew Bible, and some final examples from modern science. (shrink)

The data analyzed in this paper are part of the results described in Bueno et al. (2000). Three cytogenetics endpoints were analyzed in three populations of a species of wild rodent – Akodon montensis – living in an industrial, an agricultural, and a preservation area at the Itajaí Valley, State of Santa Catarina, Brazil. The polychromatic/normochromatic ratio, the mitotic index, and the frequency of micronucleated polychromatic erythrocites were used in an attempt to establish a genotoxic profile of each area. It (...) was assumed that the three populations were in the same conditions with respect to the influence of confounding factors such as animal age, health, nutrition status, presence of pathogens, and intra- and inter-populational genetic variability. Therefore, any differences found in the endpoints analyzed could be attributed to the external agents present in each area. The statistical models used in this paper are mixtures of negative-binomials and Poisson variables. The Poisson variables are used as approximations of binomials for rare events. The mixing distributions are beta densities. The statistical analyzes are under the bayesian perspective, as opposed to the frequentist ones often considered in the literature, as for instance in Bueno et al. (2000). (shrink)

Simultaneous hypothesis tests can fail to provide results that meet logical requirements. For example, if A and B are two statements such that A implies B, there exist tests that, based on the same data, reject B but not A. Such outcomes are generally inconvenient to statisticians (who want to communicate the results to practitioners in a simple fashion) and non-statisticians (confused by conflicting pieces of information). Based on this inconvenience, one might want to use tests that satisfy logical requirements. (...) However, Izbicki and Esteves shows that the only tests that are in accordance with three logical requirements (monotonicity, invertibility and consonance) are trivial tests based on point estimation, which generally lack statistical optimality. As a possible solution to this dilemma, this paper adapts the above logical requirements to agnostic tests, in which one can accept, reject or remain agnostic with respect to a given hypothesis. Each of the logical requirements is characterized in terms of a Bayesian decision theoretic perspective. Contrary to the results obtained for regular hypothesis tests, there exist agnostic tests that satisfy all logical requirements and also perform well statistically. In particular, agnostic tests that fulfill all logical requirements are characterized as region estimator-based tests. Examples of such tests are provided. (shrink)

La presente compilación de artículos es resultado del trabajo en colaboración realizado en el seminario institucional intitulado “Sociosemiótica y Cultura: Principios de Semiótica y Modelos de Análisis”, que durante 2016 se desarrolló en las instalaciones del Instituto de Investigaciones Sociales de la Universidad Nacional Autónoma de México (IIS-UNAM). En dicho espacio de intercambio académico se dieron cita diferentes investigadores que —desde sus particulares enfoques— contribuyeron a adoptar una visión holística acerca de los temas y problemas semióticos implicados en la investigación (...) científica. En principio, el objetivo del seminario fue la divulgación; a saber: dar a conocer la vinculación tanto teórico-empírica como teórico-metodológica de las categorías semióticas en la construcción de explicaciones científicas sobre fenómenos sociales y procesos de conocimiento en la ciencia. Para ello, el programa de presentaciones abordó diferentes ámbitos de conocimiento, tanto de las ciencias naturales: física, biología, matemáticas, lógica, como de las ciencias sociales: sociología, antropología, comunicación, al igual que estudios concretos desde las humanidades: filosofía y arte. En este sentido, acercarse a los estudios de semiótica desde diferentes disciplinas científicas (en términos generales, no sólo en ciencias sociales), obligó a reconocer el valor epistemológico de la explicación semiótica. Dicho valor consiste en aceptar que el conocimiento científico se constituye a partir de procesos de significación, donde intervienen relaciones sígnicas en el nivel lingüístico (términos, conceptos, categorías); en el nivel icónico-visual (esquemas, imágenes, diagramas), icónico-lógico (fórmulas, operaciones), entre otros; y que —en conjunto— dichas relaciones de significación dan como resultado “ensamblajes sígnicos”; es decir (a la manera de Javier Echeverría, 1985: 71 y ss.), sistemas de signos que construyen modelos explicativos, cuya validez y sentido están determinados por la coherencia/consistencia interna de dichos sistemas. (shrink)

Decoupling is a general principle that allows us to separate simple components in a complex system. In statistics, decoupling is often expressed as independence, no association, or zero covariance relations. These relations are sharp statistical hypotheses, that can be tested using the FBST - Full Bayesian Significance Test. Decoupling relations can also be introduced by some techniques of Design of Statistical Experiments, DSEs, like randomization. This article discusses the concepts of decoupling, randomization and sparsely connected statistical models in the epistemological (...) framework of cognitive constructivism. (shrink)

The full Bayesian signi/cance test (FBST) for precise hypotheses is presented, with some illustrative applications. In the FBST we compute the evidence against the precise hypothesis. We discuss some of the theoretical properties of the FBST, and provide an invariant formulation for coordinate transformations, provided a reference density has been established. This evidence is the probability of the highest relative surprise set, “tangential” to the sub-manifold (of the parameter space) that defines the null hypothesis.

Heinz Von Forester characterizes the objects “known” by an autopoietic system as eigen-solutions, that is, as discrete, separable, stable and composable states of the interaction of the system with its environment. Previous articles have presented the FBST, Full Bayesian Significance Test, as a mathematical formalism specifically designed to access the support for sharp statistical hypotheses, and have shown that these hypotheses correspond, from a constructivist perspective, to systemic eigen-solutions in the practice of science. In this article several issues related to (...) the role played by language in the emergence of eigen-solutions are analyzed. The last sections also explore possible connections with the semiotic theory of Charles Sanders Peirce. (shrink)

This paper introduces pragmatic hypotheses and relates this concept to the spiral of scientific evolution. Previous works determined a characterization of logically consistent statistical hypothesis tests and showed that the modal operators obtained from this test can be represented in the hexagon of oppositions. However, despite the importance of precise hypothesis in science, they cannot be accepted by logically consistent tests. Here, we show that this dilemma can be overcome by the use of pragmatic versions of precise hypotheses. These pragmatic (...) versions allow a level of imprecision in the hypothesis that is small relative to other experimental conditions. The introduction of pragmatic hypotheses allows the evolution of scientific theories based on statistical hypothesis testing to be interpreted using the narratological structure of hexagonal spirals, as defined by Pierre Gallais. (shrink)

In this paper, the notion of degree of inconsistency is introduced as a tool to evaluate the sensitivity of the Full Bayesian Significance Test (FBST) value of evidence with respect to changes in the prior or reference density. For that, both the definition of the FBST, a possibilistic approach to hypothesis testing based on Bayesian probability procedures, and the use of bilattice structures, as introduced by Ginsberg and Fitting, in paraconsistent logics, are reviewed. The computational and theoretical advantages of using (...) the proposed degree of inconsistency based sensitivity evaluation as an alternative to traditional statistical power analysis is also discussed. (shrink)

Este ensayo examina críticamente la tesis – defendida por filósofos bioconservadores – que sostiene que el pensamiento transhumanista constituye una amenaza a la dignidad humana. A partir de esta consideración, defenderemos las siguientes tesis: primero, el pensamiento transhumanista nos conduce a replantear la noción de dignidad humana para hacerla más amplia y ofrecer, en su lugar, la noción de dignidad de los seres sintientes; segundo, la principal preocupación no es si llegasen a existir tales seres (los transhumanos), sino si es (...) que tales seres serán lo suficientemente morales para lidiar con grandes poderes tecnológicos. (shrink)

Sortition, i.e. random appointment for public duty, has been employed by societies throughout the years as a firewall designated to prevent illegitimate interference between parties in a legal case and agents of the legal system. In judicial systems of modern western countries, random procedures are mainly employed to select the jury, the court and/or the judge in charge of judging a legal case. Therefore, these random procedures play an important role in the course of a case, and should comply with (...) some principles, such as transparency and complete auditability. Nevertheless, these principles are neglected by random procedures in some judicial systems, which are performed in secrecy and are not auditable by the involved parties. The assignment of cases in the Brazilian Supreme Court is an example of such a procedure, for it is performed using procedures unknown to the parties involved in the judicial cases. This article presents a review of how sortition has been historically employed by societies and discusses how Mathematical Statistics may be applied to random procedures of the judicial system, as it has been applied for almost a century on clinical trials, for example. A statistical model for assessing randomness in case assignment is proposed and applied to the Brazilian Supreme Court. As final remarks, guidelines for the development of good randomization procedures are outlined. (shrink)

We review the definition of the Full Bayesian Significance Test (FBST), and summarize its main statistical and epistemological characteristics. We review also the Abstract Belief Calculus (ABC) of Darwiche and Ginsberg, and use it to analyze the FBST’s value of evidence. This analysis helps us understand the FBST properties and interpretation. The definition of value of evidence against a sharp hypothesis, in the FBST setup, was motivated by applications of Bayesian statistical reasoning to legal matters where the sharp hypotheses were (...) defendants statements, to be judged according to the Onus Probandi juridical principle. (shrink)

We present SASC, Self-Adaptive Semantic Crossover, a new class of crossover operators for genetic programming. SASC operators are designed to induce the emergence and then preserve good building-blocks, using metacontrol techniques based on semantic compatibility measures. SASC performance is tested in a case study concerning the replication of investment funds.

Randomization is an integral part of well-designed statistical trials, and is also a required procedure in legal systems. Implementation of honest, unbiased, understandable, secure, traceable, auditable and collusion resistant randomization procedures is a mater of great legal, social and political importance. Given the juridical and social importance of randomization, it is important to develop procedures in full compliance with the following desiderata: (a) Statistical soundness and computational efficiency; (b) Procedural, cryptographical and computational security; (c) Complete auditability and traceability; (d) Any (...) attempt by participating parties or coalitions to spuriously influence the procedure should be either unsuccessful or be detected; (e) Open-source programming; (f) Multiple hardware platform and operating system implementation; (g) User friendliness and transparency; (h) Flexibility and adaptability for the needs and requirements of multiple application areas (like, for example, clinical trials, selection of jury or judges in legal proceedings, and draft lotteries). This paper presents a simple and easy to implement randomization protocol that assures, in a formal mathematical setting, full compliance to the aforementioned desiderata for randomization procedures. (shrink)

In this paper, the relationship between the e-value of a complex hypothesis, H, and those of its constituent elementary hypotheses, Hj, j = 1… k, is analyzed, in the independent setup. The e-value of a hypothesis H, ev, is a Bayesian epistemic, credibility or truth value defined under the Full Bayesian Significance Testing mathematical apparatus. The questions addressed concern the important issue of how the truth value of H, and the truth function of the corresponding FBST structure M, relate to (...) the truth values of its elementary constituents, Hj, and to the truth functions of their corresponding FBST structures Mj, respectively. (shrink)

This article analyzes the role of entropy in Bayesian statistics, focusing on its use as a tool for detection, recognition and validation of eigen-solutions. “Objects as eigen-solutions” is a key metaphor of the cognitive constructivism epistemological framework developed by the philosopher Heinz von Foerster. Special attention is given to some objections to the concepts of probability, statistics and randomization posed by George Spencer-Brown, a figure of great influence in the field of radical constructivism.

A Bayesian measure of evidence for precise hypotheses is presented. The intention is to give a Bayesian alternative to significance tests or, equivalently, to p-values. In fact, a set is defined in the parameter space and the posterior probability, its credibility, is evaluated. This set is the “Highest Posterior Density Region” that is “tangent” to the set that defines the null hypothesis. Our measure of evidence is the complement of the credibility of the “tangent” region.

t Intentional sampling methods are non-randomized procedures that select a group of individuals for a sample with the purpose of meeting specific prescribed criteria. In this paper we extend previous works related to intentional sampling, and address the problem of sequential allocation for clinical trials with few patients. Roughly speaking, patients are enrolled sequentially, according to the order in which they start the treatment at the clinic or hospital. The allocation problem consists in assigning each new patient to one, and (...) only one, of the alternative treatment arms. The main requisite is that the profiles in the alternative arms remain similar with respect to some relevant patients’ attributes (age, gender, disease, symptom severity and others). We perform numerical experiments based on a real case study and discuss how to conveniently set up perturbation parameters, in order to yield a suitable balance between optimality – the similarity among the relative frequencies of patients in the several categories for both arms, and decoupling – the absence of a tendency to allocate each pair of patients consistently to the same arm. (shrink)

Conditional independence tests have received special attention lately in machine learning and computational intelligence related literature as an important indicator of the relationship among the variables used by their models. In the field of probabilistic graphical models, which includes Bayesian network models, conditional independence tests are especially important for the task of learning the probabilistic graphical model structure from data. In this paper, we propose the full Bayesian significance test for tests of conditional independence for discrete datasets. The full Bayesian (...) significance test is a powerful Bayesian test for precise hypothesis, as an alternative to the frequentist’s significance tests (characterized by the calculation of the p-value). (shrink)

We study Compositional Models based on Dirichlet Regression where, given a (vector) covariate x, one considers the response variable, y, to be a positive vector with a conditional Dirichlet distribution, y | X We introduce a new method for estimating the parameters of the Dirichlet Covariate Model given a linear model on X, and also propose a Bayesian model selection approach. We present some numerical results which suggest that our proposals are more stable and robust than traditional approaches.